perm filename CARTWR.XGP[LET,JMC] blob
sn#488068 filedate 1979-12-13 generic text, type T, neo UTF8
/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ TDecember 13, 1979
␈↓ ↓H␈↓Professor Richard Tapia
␈↓ ↓H␈↓Department of Mathematical Sciences
␈↓ ↓H␈↓Rice University
␈↓ ↓H␈↓Houston, Texas 77001
␈↓ ↓H␈↓Dear Professor Tapia:
␈↓ ↓H␈↓ While␈α
I␈α
was␈α∞not␈α
Cartwright's␈α
thesis␈α
adviser,␈α∞his␈α
thesis␈α
contained␈α
the␈α∞key␈α
to␈α
a␈α∞problem␈α
on
␈↓ ↓H␈↓which␈α∞I␈α∞had␈α∞been␈α∞working␈α∞for␈α∞a␈α∞long␈α∞time␈α∞-␈α∞the␈α∞characterization␈α∞of␈α∞recursive␈α∞programs␈α∞in␈α
≡rst
␈↓ ↓H␈↓order␈α⊃logic.␈α⊃ His␈α⊃breakthrough␈α⊃had␈α⊃a␈α⊃number␈α⊃of␈α⊃consequences,␈α⊃and␈α⊃we␈α⊃wrote␈α∩several␈α⊃papers
␈↓ ↓H␈↓combining his ideas with some of mine.
␈↓ ↓H␈↓ Cartwright␈αis␈αintelligent,␈αenergetic␈αand␈αpersonable.␈α He␈αhas␈αhad␈αseveral␈αgood␈αresearch␈αideas
␈↓ ↓H␈↓expressed␈α
in␈α
publication␈α
since␈α
his␈α
thesis,␈α
and␈α
therefore␈α
I␈α
think␈α
there␈α
is␈α
unusually␈α
good␈αevidence
␈↓ ↓H␈↓that␈αhe␈αwill␈αmake␈αfurther␈αsubstantial␈αcontributions␈αto␈αthe␈αtheory␈αof␈αcomputer␈αprograms.␈α His␈αone
␈↓ ↓H␈↓major␈αweakness␈αis␈αthat␈αhe␈αdoesn't␈αknow␈αas␈αmuch␈αmathematical␈αlogic␈αas␈αhe␈αshould␈αfor␈αhis␈α
research
␈↓ ↓H␈↓area. This is partly our fault, but his research interests changed while was ≡nishing his thesis.
␈↓ ↓H␈↓ If there were another opening here in theory, I would push his candidacy.
␈↓ ↓H␈↓Sincerely,
␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science